Constructive proof

#	Item
21	On a constructive proof of Kolmogorov’s superposition theorem J¨ urgen Braun, Michael Griebel Add to Reading List Source URL: wissrech.iam.uni-bonn.de Language: English - Date: 2008-10-23 07:23:02 Logical consequence Metalogic Philosophical logic Orbifold Ordinal arithmetic Logic Deduction Entailment
22	On a constructive proof of Kolmogorov’s superposition theorem J¨ urgen Braun, Michael Griebel Add to Reading List Source URL: wissrech.ins.uni-bonn.de Language: English - Date: 2008-10-23 07:23:02 Logical consequence Metalogic Philosophical logic Orbifold Ordinal arithmetic Logic Deduction Entailment
23	PDF Document Add to Reading List Source URL: www1.maths.leeds.ac.uk Language: English - Date: 2012-10-11 12:56:02 Axioms of set theory Ordinal numbers Proof theory Z notation Constructive set theory Axiom schema of replacement Ordinal analysis Kripke–Platek set theory Constructible universe Mathematical logic Mathematics Logic